Rules to find x in linear congruence